{{refimprove, date=September 2011 ROOP is a multiparadigm

programming language A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming ...

targeted at AI applications created at the Chengdu University of China. It combines rule-based, procedural,

logical Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...

and

object-oriented programming Object-oriented programming (OOP) is a programming paradigm based on the concept of "objects", which can contain data and code. The data is in the form of fields (often known as attributes or ''properties''), and the code is in the form of ...

techniques.

Features

* ROOP is directly built upon

C++ C++ (pronounced "C plus plus") is a high-level general-purpose programming language created by Danish computer scientist Bjarne Stroustrup as an extension of the C programming language, or "C with Classes". The language has expanded significan ...

, providing full unrestricted access to all its features. * ROOP, like OPS-83 and ORBS, is data-driven but, unlike those languages, rules in ROOP may enter into ''local communication'' and this can be used to dynamically divide them into groups, including the problem status space tree. * Rules and facts in ROOP are objects, and they send and respond to messages just like any other object in the language. This capability is not typically available in other logical programming languages such as

Prolog Prolog is a logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily ...

. * ROOP's inference engine can be ''redefined'' by the programmer, something which is usually not feasible in other logical languages.

References

*''A Rule-based and Object-oriented AI Programming Language'', Tao Li, ''ACM SIGPLAN Notices'', Volume 30, No.12, December 1995 Multi-paradigm programming languages Object-oriented programming languages Logic programming languages